\subsection{Conclusiones sobre el TP:}

Visto la relación de los diagramas presentados a modo de especificación formal para el sistema distribuido, hemos dado las pautas generales y fundamentales que deben ser cumplidas. Nuestras evaluaciones al momento de diagramar y de elegir la trazabilidad tienen que ver con los escenarios que nos parecieron reelevantes, con el nivel de detalle que debía tener nuestra especificación y también influyó el poder expresivo de cada tipo de diagrama. Buscamos explotar al máximo cada tipo de diagrama, pero sin comprometer la cohesión entre ellos.\\
Los diagramas no actuan como distintas interpretaciones sobre un mismo problema, sino que presentan una suerte de complemento entre ellos. Dada las diferencias en sus expresividades, elegimos a veces representar un mismo escenario con dos diagramas posibles, como también usar un tipo de diagrama que sea el más adecuado, es decir, que se ajuste mejor su poder expresivo con el problema presentado. Esto nos permitió ver un mismo escenario bajo distinto puntos de vista.\\
En este trabajo surgían muchas propuestas para una situación dada y en dichas situaciones era necesario tomar una decisión. La línea de pensamiento por el cual nos basamos el debate estuvo relacionado con la cohesión, la trazabilidad y la simplicidad. Muchas de nuestras decisiones consistieron en ser coherentes entre un diagrama con otro. También evitamos delimitar en exceso los comportamientos específicos y tratamos de emplear conceptos de los más abstractos posibles para lograr simplicidad en la especificación. De esta manera, evitamos delitar asuntos de bajo nivel, como por ejemplo, con respecto a los quantums del round robin, con la conectividad de la red, y otros asuntos pertinentes a decisiones mucho más técnicas y específicas a otras áreas y que no aportan demasiada información para la descripción del problema.\\
Nuestra conclusión de este trabajo es que hemos buscado delimitar comportamientos no deseados y permitimos a su vez libertades en un posible diseño, que será el paso próximo a esta etapa de especificación presentada en este informe. Si bien algunos lenguajes presentados para este TP nos permitían detallar más específicamente algunos escenarios, nos pareció importante que no delimitaramos demasiado asuntos con respecto al diseño de la red distribuida.